Multi-Sorted Logic and Logical Geometry: Some Problems
نویسندگان
چکیده
منابع مشابه
Multi-sorted Logic and Logical Geometry: Some Problems
The paper has a form of a survey on basics of logical geometry and consists of three parts. It is focused on the relationship between many-sorted theory, which leads to logical geometry and one-sorted theory, which is based on important model-theoretic concepts. Our aim is to show that both approaches go in parallel and there are bridges which allow to transfer results, notions and problems bac...
متن کاملMulti-sorted logic, models and logical geometry
Let Θ be a variety of algebras, (H, Ψ, f) be a model, where H is an algebra from Θ, Ψ is a set of relation symbols ϕ, f is an interpretation of all ϕ in H. Let X 0 be an infinite set of variables, Γ be a collection of all finite subsets in X 0 (collection of sorts), Φ be the multi-sorted algebra of formulas. These data define a knowledge base KB(H, Ψ, f). In the paper the notion of isomorphism ...
متن کاملOn Some Geometric Selection and Optimization Problems via Sorted Matrices
In this paper we apply the selection and optimization technique of Frederickson and Johnson to a number of geometric selection and optimization problems, some of which have previously been solved by parametric search, and provide eecient and simple algorithms. Our technique improves the solutions obtained by parametric search by a log n factor. For example, we apply the technique to the two-lin...
متن کاملSorted Multi-adjoint Logic Programs: Termination Results and Applications
A general framework of logic programming allowing for the combination of several adjoint lattices of truth-values is presented. The main contribution is a new sufficient condition which guarantees termination of all queries for the fixpoint semantics for an interesting class of programs. Several extensions of these conditions are presented and related to some well-known formalisms for probabili...
متن کاملSome Combinational Problems in Geometry
In this short survey I mainly discuss some recent problems which occupied me and my colleagues and collaborators for the last few years . I will not give proofs but will either give references to the original papers or to the other survey papers . I hope I will be able to convince the reader that the subject is "alive and well" with many interesting, challenging and not hopeless problems . Deve...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Demonstratio Mathematica
سال: 2015
ISSN: 2391-4661,0420-1213
DOI: 10.1515/dema-2015-0042